x86: fix NMI delivery to dom0

Signed-off-by: Jan Beulich <jbeulich@novell.com>

diff --git a/xen/arch/x86/traps.c b/xen/arch/x86/traps.c
index 83be2a303293045a26157a08669e47d1fe6b15c4..4477ed96998077a9db0f0d65d2deedbfb9484a0e 100644 (file)
--- a/xen/arch/x86/traps.c
+++ b/xen/arch/x86/traps.c
@@ -1804,7 +1804,7 @@ static void nmi_dom0_report(unsigned int reason_idx)
 
     set_bit(reason_idx, nmi_reason(d));
 
-    if ( test_and_set_bit(_VCPUF_nmi_pending, &v->vcpu_flags) )
+    if ( !test_and_set_bit(_VCPUF_nmi_pending, &v->vcpu_flags) )
         raise_softirq(NMI_SOFTIRQ); /* not safe to wake up a vcpu here */
 }